🇬🇧 en el 🇬🇷

first-order logic noun

  • (logic) A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse.
 λογική πρώτου βαθμού
Wiktionary Links